Reversible CSP Computations

Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers backtrack the execution previous state. is essential if computation not deterministic because re-running may lead that state of interest. sequential programs has been well studied strong theoretical basis exists. Contrarily, reversibility concurrent still very young, especially in practical side. For instance, particular case Communicating Sequential Processes (CSP) language, practically missing. In this article, we present new technique, including its formal definition implementation, reverse CSP computations. Most ideas presented can directly applied other specification languages such as Promela or CCS, but center discussion implementation on CSP. The technique proposes different forms reversibility, strict causal-consistent reversibility. On side, provide an system computations able highlight source code being each forwards/backwards step, optimized scalable real systems.